1. Abgründe der Informatik
پدیدآورنده : \ Alois Potton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Software engineering,Information Systems,علوم کامپیوتر,نرمافزار -- مهندسی,نظام‌های اطلاع‌رسانی
رده :
E-Book
,
2. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
3. < Autodesk AutoCAD MEP 2010 = اتودسک اتوكد ام اي پي > [اتودسک اتوكد ام اي پي ]
پدیدآورنده : / انتشارات یزدا,عنوان دیگر: طراحی تاسیسات ساختمان با نرم افزار AutoCAD MEP.
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : تاسیسات,Buildings,تهویه مطبوع,Air canditioning,مهندسی به کمک کامپیوتر,Computer, -- نرمافزار, -- Software, -- نرمافزار, -- Software, -- نرمافزار, -- Software, -- طرح و ساختمان, -- Design and Construction, -- طرح و ساختمان, -- Design & construction, -- aided engineering,a09,a09,a11,a11,a13,a13
رده :
TH
۶۰۱۰
/
الف
۲
4. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
5. Component-Based Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
6. DevOps [دوآپس] برای همه
پدیدآورنده : / نویسنده امیلی فریمن,عنوان اصلی:Devops for dummies.,فریمن,Freeman
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : نرمافزار,Computer software,نرمافزار,Software engineering, -- تولید, -- Development, -- مهندسی,a03,a03,a01,a01
رده :
QA
۷۶
/
۷۶
/
ت
۹
ف
۴ ۱۴۰۲
7. Digital Information Processing and Communications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Electronic data processing -- Congresses,Computer networks -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها ,داده‌پردازی -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها
رده :
E-Book
,
8. End-User Development
پدیدآورنده : \ [edited by] Paloma Díaz...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : End-user computing -- Congresses,User-centered system design -- Congresses,Software engineering -- Congresses.,داده‌پردازی توسط کاربر نهایی -- کنگره ها ,طراحی سیستم کاربر‌مدار -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
9
.
E5
2015
E-Book
,
9. Engineering Societies in the AgentsWorld II
پدیدآورنده : \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها,مهندسی -- انجمن‌ها -- کنگره ها
رده :
E-Book
,
10. Experimental Algorithms
پدیدآورنده : \ Evripidis Bampis (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Software engineering -- Congresses,Data Structures.,الگوریتم‌های کامپیوتری -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,ساختار داده‌ها
رده :
QA
76
.
9
.
E97
2015
E-Book
,
11. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
12. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
13. Foundations of Software Science and Computation Structures
پدیدآورنده : \ Andrew Pitts (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستم‌ها -- کنگره ها ,نرمافزار رای‍ان‍ه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
QA76
.
751
.
F67
2015
E-Book
,
14. Fundamental Approaches to Software Engineering
پدیدآورنده : \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگره‌ها ,مهندسی نرم افزار ,زبانهای ب‍رن‍ام‍ه ن‍وی‍س‍ی
رده :
QA76
.
758
.
F44
2015
E-Book
,
15. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگره‌ها,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
16. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگره‌ها,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
17. Information and Software Technologies
پدیدآورنده : \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
18. Knowledge Engineering and Management
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence -- Engineering applications -- Congresses,Intelligent agents (Computer software) -- Congresses,Systems engineering -- Congresses,هوش مصنوعی -- کاربردهای مهندسی -- کنگره‌ها,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره‌ها,مهندسی سیستم ها -- کنگره‌ها
رده :
E-Book
,
19. Knowledge Engineering and Semantic Web
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Semantic Web -- Congresses,Semantic Web,نرمافزار -- مهندسی -- کنگره‌ها,وب معناشناختی -- کنگره‌ها,وب معناشناختی
رده :
E-Book
,
20. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
